namespace alpha_core_TestAfterDivZero {
	void test(int x) {
		int var = 77 / x;
		if (x == 0) {} // warn
	}
}